%%%%%%%%%%%%%%%%%%
% KRK illegal problem. This involves deciding whether a chess ending
%	with White King, White Rook and Black King is illegal
%	when White is to move. Example positions are defined as
%
%	    illegal(WKRank,WKFile,WRRank,WRFile,BKRank,BKFile)
%
%	Thus the following illegal position is defined as follows:
%
%	      File
%	|~~~~~~~~~~~~~~~~| 7
%	|  WK            | 6
%	|                | 5
% Rank  |                | 4    =  illegal(6,1,3,2,3,7)
%	|    WR        BK| 3
%	|                | 2
%	|                | 1
%	|________________| 0
%	  0 1 2 3 4 5 6 7

%%%%%%%%%%%%%%%%%%
:- set(i,2).
:- set(nodes,5000).
:- set(noise,5).
:- set(minacc,0.80). 
:- set(minpos, 2).

:- set(test_pos,'krki/extended_aleph/test9.f').
:- set(test_neg,'krki/extended_aleph/test9.n').


:- set(grouping, true).

:- modeh(1,illegal(+board)).

:- modeb(1,wk(+board,-rank,-file)).
         :- modeb(1,wk(+board, #rank,-file)).
		 :- modeb(1,wk(+board, -rank,#file)).
:- modeb(1,wr(+board,-rank,-file)).
         :- modeb(1,wr(+board,#rank,-file)).
		 :- modeb(1,wr(+board,-rank,#file)).
:- modeb(1,bk(+board,-rank,-file)).
         :- modeb(1,bk(+board,#rank,-file)).
         :- modeb(1,bk(+board,-rank,#file)).
:- modeb(3,adj(+rank,+file)).


:- determination( illegal/1, wk/3).
:- determination( illegal/1, wr/3).
:- determination( illegal/1, br/3).
:- determination( illegal/1, adj/2).

:- grouping( illegal(link), wk(link, attribute, attribute)).
:- grouping( illegal(link), wr(link, attribute, attribute)).
:- grouping( illegal(link), bk(link, attribute, attribute)).



%%%%%%%%%%%%%%%%%%
% Type definition for rank or file

% rf(X) :- nat(X), 0=<X, X=<7.
rank(0).  rank(1).  rank(2).  rank(3).  rank(4).  rank(5).  rank(6).  rank(7).
file(0).  file(1).  file(2).  file(3).  file(4).  file(5).  file(6).  file(7).


% board
board(b1). board(b2). board(b3). board(b4). board(b5).
board(b6). board(b7). board(b8). board(b9). board(b10).
board(b11). board(b12). board(b13). board(b14). board(b15).
board(b16). board(b17). board(b18). board(b19). board(b20).
board(b21). board(b22). board(b23). board(b24). board(b25).
board(b26). board(b27). board(b28). board(b29). board(b30).
board(b31). board(b32). board(b33). board(b34). board(b35).
board(b36). board(b37). board(b38). board(b39). board(b40).
board(b41). board(b42). board(b43). board(b44). board(b45).
board(b46). board(b47). board(b48). board(b49). board(b50).
board(b51). board(b52). board(b53). board(b54). board(b55).
board(b56). board(b57). board(b58). board(b59). board(b60).
board(b61). board(b62). board(b63). board(b64). board(b65).
board(b66). board(b67). board(b68). board(b69). board(b70).
board(b71). board(b72). board(b73). board(b74). board(b75).
board(b76). board(b77). board(b78). board(b79). board(b80).
board(b81). board(b82). board(b83). board(b84). board(b85).
board(b86). board(b87). board(b88). board(b89). board(b90).
board(b91). board(b92). board(b93). board(b94). board(b95).
board(b96). board(b97). board(b98). board(b99). board(b100).
board(b101). board(b102). board(b103). board(b104). board(b105).
board(b106). board(b107). board(b108). board(b109). board(b110).
board(b111). board(b112). board(b113). board(b114). board(b115).
board(b116). board(b117). board(b118). board(b119). board(b120).
board(b121). board(b122). board(b123). board(b124). board(b125).
board(b126). board(b127). board(b128). board(b129). board(b130).
board(b131). board(b132). board(b133). board(b134). board(b135).
board(b136). board(b137). board(b138). board(b139). board(b140).
board(b141). board(b142). board(b143). board(b144). board(b145).
board(b146). board(b147). board(b148). board(b149). board(b150).
board(b151). board(b152). board(b153). board(b154). board(b155).
board(b156). board(b157). board(b158). board(b159). board(b160).
board(b161). board(b162). board(b163). board(b164). board(b165).
board(b166). board(b167). board(b168). board(b169). board(b170).
board(b171). board(b172). board(b173). board(b174). board(b175).
board(b176). board(b177). board(b178). board(b179). board(b180).
board(b181). board(b182). board(b183). board(b184). board(b185).
board(b186). board(b187). board(b188). board(b189). board(b190).
board(b191). board(b192). board(b193). board(b194). board(b195).
board(b196). board(b197). board(b198). board(b199). board(b200).
board(b201). board(b202). board(b203). board(b204). board(b205).
board(b206). board(b207). board(b208). board(b209). board(b210).
board(b211). board(b212). board(b213). board(b214). board(b215).
board(b216). board(b217). board(b218). board(b219). board(b220).
board(b221). board(b222). board(b223). board(b224). board(b225).
board(b226). board(b227). board(b228). board(b229). board(b230).
board(b231). board(b232). board(b233). board(b234). board(b235).
board(b236). board(b237). board(b238). board(b239). board(b240).
board(b241). board(b242). board(b243). board(b244). board(b245).
board(b246). board(b247). board(b248). board(b249). board(b250).
board(b251). board(b252). board(b253). board(b254). board(b255).
board(b256). board(b257). board(b258). board(b259). board(b260).
board(b261). board(b262). board(b263). board(b264). board(b265).
board(b266). board(b267). board(b268). board(b269). board(b270).
board(b271). board(b272). board(b273). board(b274). board(b275).
board(b276). board(b277). board(b278). board(b279). board(b280).
board(b281). board(b282). board(b283). board(b284). board(b285).
board(b286). board(b287). board(b288). board(b289). board(b290).
board(b291). board(b292). board(b293). board(b294). board(b295).
board(b296). board(b297). board(b298). board(b299). board(b300).
board(b301). board(b302). board(b303). board(b304). board(b305).
board(b306). board(b307). board(b308). board(b309). board(b310).
board(b311). board(b312). board(b313). board(b314). board(b315).
board(b316). board(b317). board(b318). board(b319). board(b320).
board(b321). board(b322). board(b323). board(b324). board(b325).
board(b326). board(b327). board(b328). board(b329). board(b330).
board(b331). board(b332). board(b333). board(b334). board(b335).
board(b336). board(b337). board(b338). board(b339). board(b340).
board(b341). board(b342). board(b343). board(b344). board(b345).
board(b346). board(b347). board(b348). board(b349). board(b350).
board(b351). board(b352). board(b353). board(b354). board(b355).
board(b356). board(b357). board(b358). board(b359). board(b360).
board(b361). board(b362). board(b363). board(b364). board(b365).
board(b366). board(b367). board(b368). board(b369). board(b370).
board(b371). board(b372). board(b373). board(b374). board(b375).
board(b376). board(b377). board(b378). board(b379). board(b380).
board(b381). board(b382). board(b383). board(b384). board(b385).
board(b386). board(b387). board(b388). board(b389). board(b390).
board(b391). board(b392). board(b393). board(b394). board(b395).
board(b396). board(b397). board(b398). board(b399). board(b400).
board(b401). board(b402). board(b403). board(b404). board(b405).
board(b406). board(b407). board(b408). board(b409). board(b410).
board(b411). board(b412). board(b413). board(b414). board(b415).
board(b416). board(b417). board(b418). board(b419). board(b420).
board(b421). board(b422). board(b423). board(b424). board(b425).
board(b426). board(b427). board(b428). board(b429). board(b430).
board(b431). board(b432). board(b433). board(b434). board(b435).
board(b436). board(b437). board(b438). board(b439). board(b440).
board(b441). board(b442). board(b443). board(b444). board(b445).
board(b446). board(b447). board(b448). board(b449). board(b450).
board(b451). board(b452). board(b453). board(b454). board(b455).
board(b456). board(b457). board(b458). board(b459). board(b460).
board(b461). board(b462). board(b463). board(b464). board(b465).
board(b466). board(b467). board(b468). board(b469). board(b470).
board(b471). board(b472). board(b473). board(b474). board(b475).
board(b476). board(b477). board(b478). board(b479). board(b480).
board(b481). board(b482). board(b483). board(b484). board(b485).
board(b486). board(b487). board(b488). board(b489). board(b490).
board(b491). board(b492). board(b493). board(b494). board(b495).
board(b496). board(b497). board(b498). board(b499). board(b500).
board(b501). board(b502). board(b503). board(b504). board(b505).
board(b506). board(b507). board(b508). board(b509). board(b510).
board(b511). board(b512). board(b513). board(b514). board(b515).
board(b516). board(b517). board(b518). board(b519). board(b520).
board(b521). board(b522). board(b523). board(b524). board(b525).
board(b526). board(b527). board(b528). board(b529). board(b530).
board(b531). board(b532). board(b533). board(b534). board(b535).
board(b536). board(b537). board(b538). board(b539). board(b540).
board(b541). board(b542). board(b543). board(b544). board(b545).
board(b546). board(b547). board(b548). board(b549). board(b550).
board(b551). board(b552). board(b553). board(b554). board(b555).
board(b556). board(b557). board(b558). board(b559). board(b560).
board(b561). board(b562). board(b563). board(b564). board(b565).
board(b566). board(b567). board(b568). board(b569). board(b570).
board(b571). board(b572). board(b573). board(b574). board(b575).
board(b576). board(b577). board(b578). board(b579). board(b580).
board(b581). board(b582). board(b583). board(b584). board(b585).
board(b586). board(b587). board(b588). board(b589). board(b590).
board(b591). board(b592). board(b593). board(b594). board(b595).
board(b596). board(b597). board(b598). board(b599). board(b600).
board(b601). board(b602). board(b603). board(b604). board(b605).
board(b606). board(b607). board(b608). board(b609). board(b610).
board(b611). board(b612). board(b613). board(b614). board(b615).
board(b616). board(b617). board(b618). board(b619). board(b620).
board(b621). board(b622). board(b623). board(b624). board(b625).
board(b626). board(b627). board(b628). board(b629). board(b630).
board(b631). board(b632). board(b633). board(b634). board(b635).
board(b636). board(b637). board(b638). board(b639). board(b640).
board(b641). board(b642). board(b643). board(b644). board(b645).
board(b646). board(b647). board(b648). board(b649). board(b650).
board(b651). board(b652). board(b653). board(b654). board(b655).
board(b656). board(b657). board(b658). board(b659). board(b660).
board(b661). board(b662). board(b663). board(b664). board(b665).
board(b666). board(b667). board(b668). board(b669). board(b670).
board(b671). board(b672). board(b673). board(b674). board(b675).
board(b676). board(b677). board(b678). board(b679). board(b680).
board(b681). board(b682). board(b683). board(b684). board(b685).
board(b686). board(b687). board(b688). board(b689). board(b690).
board(b691). board(b692). board(b693). board(b694). board(b695).
board(b696). board(b697). board(b698). board(b699). board(b700).
board(b701). board(b702). board(b703). board(b704). board(b705).
board(b706). board(b707). board(b708). board(b709). board(b710).
board(b711). board(b712). board(b713). board(b714). board(b715).
board(b716). board(b717). board(b718). board(b719). board(b720).
board(b721). board(b722). board(b723). board(b724). board(b725).
board(b726). board(b727). board(b728). board(b729). board(b730).
board(b731). board(b732). board(b733). board(b734). board(b735).
board(b736). board(b737). board(b738). board(b739). board(b740).
board(b741). board(b742). board(b743). board(b744). board(b745).
board(b746). board(b747). board(b748). board(b749). board(b750).
board(b751). board(b752). board(b753). board(b754). board(b755).
board(b756). board(b757). board(b758). board(b759). board(b760).
board(b761). board(b762). board(b763). board(b764). board(b765).
board(b766). board(b767). board(b768). board(b769). board(b770).
board(b771). board(b772). board(b773). board(b774). board(b775).
board(b776). board(b777). board(b778). board(b779). board(b780).
board(b781). board(b782). board(b783). board(b784). board(b785).
board(b786). board(b787). board(b788). board(b789). board(b790).
board(b791). board(b792). board(b793). board(b794). board(b795).
board(b796). board(b797). board(b798). board(b799). board(b800).
board(b801). board(b802). board(b803). board(b804). board(b805).
board(b806). board(b807). board(b808). board(b809). board(b810).
board(b811). board(b812). board(b813). board(b814). board(b815).
board(b816). board(b817). board(b818). board(b819). board(b820).
board(b821). board(b822). board(b823). board(b824). board(b825).
board(b826). board(b827). board(b828). board(b829). board(b830).
board(b831). board(b832). board(b833). board(b834). board(b835).
board(b836). board(b837). board(b838). board(b839). board(b840).
board(b841). board(b842). board(b843). board(b844). board(b845).
board(b846). board(b847). board(b848). board(b849). board(b850).
board(b851). board(b852). board(b853). board(b854). board(b855).
board(b856). board(b857). board(b858). board(b859). board(b860).
board(b861). board(b862). board(b863). board(b864). board(b865).
board(b866). board(b867). board(b868). board(b869). board(b870).
board(b871). board(b872). board(b873). board(b874). board(b875).
board(b876). board(b877). board(b878). board(b879). board(b880).
board(b881). board(b882). board(b883). board(b884). board(b885).
board(b886). board(b887). board(b888). board(b889). board(b890).
board(b891). board(b892). board(b893). board(b894). board(b895).
board(b896). board(b897). board(b898). board(b899). board(b900).
board(b901). board(b902). board(b903). board(b904). board(b905).
board(b906). board(b907). board(b908). board(b909). board(b910).
board(b911). board(b912). board(b913). board(b914). board(b915).
board(b916). board(b917). board(b918). board(b919). board(b920).
board(b921). board(b922). board(b923). board(b924). board(b925).
board(b926). board(b927). board(b928). board(b929). board(b930).
board(b931). board(b932). board(b933). board(b934). board(b935).
board(b936). board(b937). board(b938). board(b939). board(b940).
board(b941). board(b942). board(b943). board(b944). board(b945).
board(b946). board(b947). board(b948). board(b949). board(b950).
board(b951). board(b952). board(b953). board(b954). board(b955).
board(b956). board(b957). board(b958). board(b959). board(b960).
board(b961). board(b962). board(b963). board(b964). board(b965).
board(b966). board(b967). board(b968). board(b969). board(b970).
board(b971). board(b972). board(b973). board(b974). board(b975).
board(b976). board(b977). board(b978). board(b979). board(b980).
board(b981). board(b982). board(b983). board(b984). board(b985).
board(b986). board(b987). board(b988). board(b989). board(b990).
board(b991). board(b992). board(b993). board(b994). board(b995).
board(b996). board(b997). board(b998). board(b999). board(b1000).

%%%%%%%%%%%%%%%%%%
% Background knowledge

lt(0,1).
lt(0,2).
lt(0,3).
lt(0,4).
lt(0,5).
lt(0,6).
lt(0,7).
lt(1,2).
lt(1,3).
lt(1,4).
lt(1,5).
lt(1,6).
lt(1,7).
lt(2,3).
lt(2,4).
lt(2,5).
lt(2,6).
lt(2,7).
lt(3,4).
lt(3,5).
lt(3,6).
lt(3,7).
lt(4,5).
lt(4,6).
lt(4,7).
lt(5,6).
lt(5,7).
lt(6,7).

% adj(R/C,R/C)
adj(0,0).
adj(1,1).
adj(2,2).
adj(3,3).
adj(4,4).
adj(5,5).
adj(6,6).
adj(7,7).
adj(0,1).
adj(1,2).
adj(2,3).
adj(3,4).
adj(4,5).
adj(5,6).
adj(6,7).
adj(7,6).
adj(6,5).
adj(5,4).
adj(4,3).
adj(3,2).
adj(2,1).
adj(1,0).


wk(b1,5,5).
wr(b1,4,6).
bk(b1,4,1).
wk(b2,5,6).
wr(b2,7,5).
bk(b2,7,5).
wk(b3,3,2).
wr(b3,4,6).
bk(b3,6,6).
wk(b4,2,1).
wr(b4,6,1).
bk(b4,2,0).
wk(b5,3,0).
wr(b5,2,3).
bk(b5,4,0).
wk(b6,6,2).
wr(b6,5,1).
bk(b6,6,1).
wk(b7,0,3).
wr(b7,2,5).
bk(b7,2,6).
wk(b8,2,6).
wr(b8,4,1).
bk(b8,1,7).
wk(b9,7,0).
wr(b9,7,0).
bk(b9,3,6).
wk(b10,7,6).
wr(b10,3,3).
bk(b10,6,6).
wk(b11,4,2).
wr(b11,1,7).
bk(b11,3,2).
wk(b12,5,1).
wr(b12,2,3).
bk(b12,2,2).
wk(b13,0,3).
wr(b13,1,6).
bk(b13,5,6).
wk(b14,2,0).
wr(b14,0,7).
bk(b14,0,5).
wk(b15,2,4).
wr(b15,0,7).
bk(b15,3,7).
wk(b16,4,5).
wr(b16,2,4).
bk(b16,5,6).
wk(b17,5,2).
wr(b17,2,3).
bk(b17,6,2).
wk(b18,4,0).
wr(b18,5,6).
bk(b18,7,6).
wk(b19,2,1).
wr(b19,4,0).
bk(b19,6,0).
wk(b20,5,6).
wr(b20,4,7).
bk(b20,6,7).
wk(b21,6,7).
wr(b21,6,1).
bk(b21,4,1).
wk(b22,5,3).
wr(b22,5,2).
bk(b22,3,2).
wk(b23,6,3).
wr(b23,3,7).
bk(b23,3,2).
wk(b24,2,6).
wr(b24,7,4).
bk(b24,5,4).
wk(b25,2,1).
wr(b25,3,0).
bk(b25,4,0).
wk(b26,4,7).
wr(b26,2,1).
bk(b26,0,1).
wk(b27,3,5).
wr(b27,0,5).
bk(b27,0,6).
wk(b28,5,0).
wr(b28,3,5).
bk(b28,5,1).
wk(b29,2,2).
wr(b29,1,3).
bk(b29,0,3).
wk(b30,1,3).
wr(b30,2,1).
bk(b30,2,6).
wk(b31,6,6).
wr(b31,0,3).
bk(b31,6,6).
wk(b32,6,6).
wr(b32,3,6).
bk(b32,5,5).
wk(b33,5,0).
wr(b33,6,0).
bk(b33,5,0).
wk(b34,3,2).
wr(b34,7,6).
bk(b34,7,0).
wk(b35,5,6).
wr(b35,5,0).
bk(b35,1,0).
wk(b36,1,2).
wr(b36,6,6).
bk(b36,5,6).
wk(b37,0,5).
wr(b37,1,4).
bk(b37,4,4).
wk(b38,2,3).
wr(b38,4,6).
bk(b38,1,3).
wk(b39,1,4).
wr(b39,6,6).
bk(b39,6,0).
wk(b40,7,1).
wr(b40,3,3).
bk(b40,3,0).
wk(b41,2,5).
wr(b41,6,2).
bk(b41,6,3).
wk(b42,1,7).
wr(b42,0,5).
bk(b42,6,5).
wk(b43,1,7).
wr(b43,1,1).
bk(b43,0,7).
wk(b44,3,3).
wr(b44,3,3).
bk(b44,3,3).
wk(b45,4,4).
wr(b45,4,2).
bk(b45,0,2).
wk(b46,2,1).
wr(b46,3,4).
bk(b46,6,4).
wk(b47,4,7).
wr(b47,4,1).
bk(b47,6,1).
wk(b48,4,6).
wr(b48,2,2).
bk(b48,2,0).
wk(b49,2,2).
wr(b49,4,6).
bk(b49,4,2).
wk(b50,4,7).
wr(b50,6,6).
bk(b50,6,2).
wk(b51,5,6).
wr(b51,5,4).
bk(b51,4,4).
wk(b52,7,1).
wr(b52,3,4).
bk(b52,3,5).
wk(b53,3,3).
wr(b53,5,7).
bk(b53,2,3).
wk(b54,2,5).
wr(b54,0,4).
bk(b54,0,1).
wk(b55,0,0).
wr(b55,6,7).
bk(b55,7,7).
wk(b56,7,6).
wr(b56,7,4).
bk(b56,5,4).
wk(b57,2,6).
wr(b57,6,3).
bk(b57,2,7).
wk(b58,4,3).
wr(b58,2,2).
bk(b58,4,4).
wk(b59,1,6).
wr(b59,3,7).
bk(b59,3,5).
wk(b60,3,6).
wr(b60,0,7).
bk(b60,0,0).
wk(b61,2,6).
wr(b61,0,5).
bk(b61,1,7).
wk(b62,6,3).
wr(b62,3,4).
bk(b62,3,4).
wk(b63,2,7).
wr(b63,5,5).
bk(b63,3,5).
wk(b64,0,1).
wr(b64,0,1).
bk(b64,6,2).
wk(b65,6,5).
wr(b65,3,6).
bk(b65,7,5).
wk(b66,6,7).
wr(b66,1,5).
bk(b66,6,5).
wk(b67,4,0).
wr(b67,3,5).
bk(b67,5,0).
wk(b68,4,7).
wr(b68,7,6).
bk(b68,3,7).
wk(b69,6,2).
wr(b69,3,7).
bk(b69,3,4).
wk(b70,3,6).
wr(b70,7,6).
bk(b70,7,4).
wk(b71,5,1).
wr(b71,1,4).
bk(b71,1,2).
wk(b72,4,6).
wr(b72,7,5).
bk(b72,3,6).
wk(b73,2,2).
wr(b73,5,1).
bk(b73,5,3).
wk(b74,6,0).
wr(b74,0,1).
bk(b74,0,7).
wk(b75,7,2).
wr(b75,7,7).
bk(b75,2,7).
wk(b76,1,6).
wr(b76,2,6).
bk(b76,4,6).
wk(b77,7,0).
wr(b77,4,6).
bk(b77,7,6).
wk(b78,1,1).
wr(b78,3,0).
bk(b78,2,0).
wk(b79,3,5).
wr(b79,0,7).
bk(b79,6,7).
wk(b70,2,6).
wr(b70,1,4).
bk(b70,3,7).
wk(b81,6,5).
wr(b81,1,0).
bk(b81,7,5).
wk(b82,2,1).
wr(b82,4,4).
bk(b82,4,6).
wk(b83,0,7).
wr(b83,0,5).
bk(b83,0,3).
wk(b84,6,1).
wr(b84,5,3).
bk(b84,5,1).
wk(b85,0,6).
wr(b85,6,3).
bk(b85,6,7).
wk(b86,0,3).
wr(b86,6,4).
bk(b86,1,2).
wk(b87,0,0).
wr(b87,4,5).
bk(b87,1,5).
wk(b88,7,2).
wr(b88,6,5).
bk(b88,6,4).
wk(b89,7,6).
wr(b89,7,0).
bk(b89,7,5).
wk(b90,4,6).
wr(b90,3,7).
bk(b90,3,6).
wk(b91,4,2).
wr(b91,4,5).
bk(b91,5,3).
wk(b92,3,1).
wr(b92,4,3).
bk(b92,2,3).
wk(b93,1,0).
wr(b93,4,5).
bk(b93,0,0).
wk(b94,7,5).
wr(b94,5,3).
bk(b94,5,7).
wk(b95,3,1).
wr(b95,5,0).
bk(b95,5,7).
wk(b96,4,1).
wr(b96,4,4).
bk(b96,4,6).
wk(b97,5,5).
wr(b97,6,7).
bk(b97,7,7).
wk(b98,1,2).
wr(b98,1,5).
bk(b98,1,4).
wk(b99,0,4).
wr(b99,0,1).
bk(b99,1,1).
wk(b100,0,7).
wr(b100,1,0).
bk(b100,1,0).
wk(b101,7,2).
wr(b101,3,6).
bk(b101,4,6).
wk(b102,6,0).
wr(b102,0,1).
bk(b102,0,5).
wk(b103,0,0).
wr(b103,5,0).
bk(b103,5,1).
wk(b104,7,0).
wr(b104,5,1).
bk(b104,5,7).
wk(b105,1,1).
wr(b105,0,0).
bk(b105,0,1).
wk(b106,6,5).
wr(b106,0,4).
bk(b106,7,4).
wk(b107,2,2).
wr(b107,2,6).
bk(b107,2,4).
wk(b108,7,7).
wr(b108,0,5).
bk(b108,0,5).
wk(b109,4,2).
wr(b109,6,6).
bk(b109,5,6).
wk(b110,5,3).
wr(b110,6,0).
bk(b110,6,7).
wk(b111,2,1).
wr(b111,6,7).
bk(b111,6,3).
wk(b112,5,3).
wr(b112,1,4).
bk(b112,0,4).
wk(b113,3,0).
wr(b113,2,1).
bk(b113,2,4).
wk(b114,4,7).
wr(b114,1,4).
bk(b114,5,4).
wk(b115,4,7).
wr(b115,2,2).
bk(b115,5,7).
wk(b116,4,5).
wr(b116,3,6).
bk(b116,0,6).
wk(b117,5,0).
wr(b117,3,3).
bk(b117,7,3).
wk(b118,0,1).
wr(b118,6,5).
bk(b118,1,0).
wk(b119,2,6).
wr(b119,6,1).
bk(b119,4,1).
wk(b120,7,2).
wr(b120,1,4).
bk(b120,6,4).
wk(b121,5,7).
wr(b121,6,5).
bk(b121,4,6).
wk(b122,5,4).
wr(b122,2,2).
bk(b122,4,5).
wk(b123,0,3).
wr(b123,2,1).
bk(b123,2,4).
wk(b124,3,6).
wr(b124,4,2).
bk(b124,4,5).
wk(b125,6,1).
wr(b125,2,1).
bk(b125,7,2).
wk(b126,6,0).
wr(b126,3,4).
bk(b126,7,1).
wk(b127,1,4).
wr(b127,0,6).
bk(b127,3,6).
wk(b128,5,2).
wr(b128,3,2).
bk(b128,4,2).
wk(b129,7,1).
wr(b129,7,0).
bk(b129,6,0).
wk(b130,5,6).
wr(b130,3,3).
bk(b130,0,3).
wk(b131,6,6).
wr(b131,6,7).
bk(b131,5,7).
wk(b132,0,5).
wr(b132,0,4).
bk(b132,0,1).
wk(b133,6,3).
wr(b133,1,7).
bk(b133,5,2).
wk(b134,4,2).
wr(b134,7,6).
bk(b134,7,0).
wk(b135,4,0).
wr(b135,4,0).
bk(b135,3,0).
wk(b136,1,3).
wr(b136,3,7).
bk(b136,0,7).
wk(b137,5,4).
wr(b137,5,3).
bk(b137,2,3).
wk(b138,7,0).
wr(b138,5,7).
bk(b138,6,0).
wk(b139,2,2).
wr(b139,6,7).
bk(b139,5,7).
wk(b140,3,1).
wr(b140,0,3).
bk(b140,2,2).
wk(b141,6,0).
wr(b141,4,3).
bk(b141,7,3).
wk(b142,7,1).
wr(b142,5,2).
bk(b142,3,2).
wk(b143,7,4).
wr(b143,7,4).
bk(b143,0,3).
wk(b144,7,4).
wr(b144,7,0).
bk(b144,7,2).
wk(b145,7,6).
wr(b145,3,1).
bk(b145,6,1).
wk(b146,1,1).
wr(b146,7,3).
bk(b146,0,1).
wk(b147,7,7).
wr(b147,1,7).
bk(b147,1,6).
wk(b148,4,3).
wr(b148,3,6).
bk(b148,5,2).
wk(b149,6,4).
wr(b149,2,5).
bk(b149,2,7).
wk(b150,0,0).
wr(b150,3,2).
bk(b150,3,7).
wk(b151,6,4).
wr(b151,3,7).
bk(b151,5,7).
wk(b152,0,6).
wr(b152,0,6).
bk(b152,3,5).
wk(b153,4,0).
wr(b153,2,4).
bk(b153,2,5).
wk(b154,2,4).
wr(b154,6,6).
bk(b154,1,5).
wk(b155,4,6).
wr(b155,3,1).
bk(b155,3,5).
wk(b156,1,0).
wr(b156,2,6).
bk(b156,2,6).
wk(b157,4,5).
wr(b157,6,1).
bk(b157,6,4).
wk(b158,0,5).
wr(b158,4,3).
bk(b158,2,3).
wk(b159,6,3).
wr(b159,5,7).
bk(b159,7,7).
wk(b160,6,3).
wr(b160,3,0).
bk(b160,3,6).
wk(b161,0,3).
wr(b161,6,4).
bk(b161,3,4).
wk(b162,5,0).
wr(b162,2,7).
bk(b162,2,3).
wk(b163,2,6).
wr(b163,2,5).
bk(b163,0,5).
wk(b164,7,3).
wr(b164,2,6).
bk(b164,6,2).
wk(b165,0,6).
wr(b165,0,5).
bk(b165,7,5).
wk(b166,3,7).
wr(b166,1,0).
bk(b166,2,7).
wk(b167,6,3).
wr(b167,3,5).
bk(b167,3,6).
wk(b168,3,7).
wr(b168,6,3).
bk(b168,3,6).
wk(b169,2,4).
wr(b169,4,4).
bk(b169,4,1).
wk(b170,2,3).
wr(b170,2,5).
bk(b170,2,4).
wk(b171,3,2).
wr(b171,3,2).
bk(b171,3,4).
wk(b172,7,0).
wr(b172,2,5).
bk(b172,1,5).
wk(b173,4,7).
wr(b173,1,4).
bk(b173,6,4).
wk(b174,7,3).
wr(b174,2,5).
bk(b174,6,5).
wk(b175,0,2).
wr(b175,7,2).
bk(b175,7,2).
wk(b176,0,7).
wr(b176,5,4).
bk(b176,5,4).
wk(b177,0,1).
wr(b177,4,3).
bk(b177,6,3).
wk(b178,5,0).
wr(b178,3,6).
bk(b178,3,3).
wk(b179,6,4).
wr(b179,0,3).
bk(b179,0,4).
wk(b180,6,0).
wr(b180,6,6).
bk(b180,5,6).
wk(b181,5,3).
wr(b181,4,2).
bk(b181,4,1).
wk(b182,1,2).
wr(b182,2,7).
bk(b182,1,3).
wk(b183,0,5).
wr(b183,0,5).
bk(b183,7,3).
wk(b184,0,1).
wr(b184,6,4).
bk(b184,6,6).
wk(b185,6,1).
wr(b185,5,1).
bk(b185,5,7).
wk(b186,2,6).
wr(b186,5,1).
bk(b186,2,6).
wk(b187,1,1).
wr(b187,2,6).
bk(b187,4,6).
wk(b188,5,6).
wr(b188,7,7).
bk(b188,6,7).
wk(b189,4,3).
wr(b189,7,6).
bk(b189,7,3).
wk(b190,2,6).
wr(b190,2,1).
bk(b190,2,7).
wk(b191,6,4).
wr(b191,7,3).
bk(b191,5,5).
wk(b192,6,5).
wr(b192,1,0).
bk(b192,1,1).
wk(b193,7,7).
wr(b193,6,5).
bk(b193,1,5).
wk(b194,6,5).
wr(b194,1,0).
bk(b194,1,0).
wk(b195,4,7).
wr(b195,2,3).
bk(b195,2,5).
wk(b196,6,3).
wr(b196,1,2).
bk(b196,2,2).
wk(b197,2,6).
wr(b197,3,0).
bk(b197,4,0).
wk(b198,3,0).
wr(b198,7,2).
bk(b198,0,2).
wk(b199,4,7).
wr(b199,5,2).
bk(b199,7,2).
wk(b200,5,4).
wr(b200,0,7).
bk(b200,2,7).
wk(b201,3,4).
wr(b201,1,6).
bk(b201,1,7).
wk(b202,3,1).
wr(b202,7,2).
bk(b202,4,1).
wk(b203,4,1).
wr(b203,7,1).
bk(b203,7,5).
wk(b204,6,5).
wr(b204,1,7).
bk(b204,1,2).
wk(b205,4,0).
wr(b205,3,7).
bk(b205,6,7).
wk(b206,3,4).
wr(b206,7,5).
bk(b206,7,1).
wk(b207,4,3).
wr(b207,3,1).
bk(b207,0,1).
wk(b208,6,2).
wr(b208,7,6).
bk(b208,6,1).
wk(b209,2,5).
wr(b209,7,1).
bk(b209,3,6).
wk(b210,3,6).
wr(b210,2,2).
bk(b210,4,7).
wk(b211,7,1).
wr(b211,5,0).
bk(b211,5,3).
wk(b212,1,1).
wr(b212,3,4).
bk(b212,3,5).
wk(b213,3,7).
wr(b213,5,3).
bk(b213,3,3).
wk(b214,7,3).
wr(b214,7,3).
bk(b214,3,4).
wk(b215,4,1).
wr(b215,2,6).
bk(b215,3,1).
wk(b216,5,5).
wr(b216,4,1).
bk(b216,5,5).
wk(b217,1,7).
wr(b217,3,1).
bk(b217,3,1).
wk(b218,7,7).
wr(b218,5,1).
bk(b218,5,5).
wk(b219,4,4).
wr(b219,0,0).
bk(b219,6,0).
wk(b220,3,6).
wr(b220,7,3).
bk(b220,7,3).
wk(b221,5,0).
wr(b221,2,0).
bk(b221,2,1).
wk(b222,0,6).
wr(b222,2,3).
bk(b222,1,5).
wk(b223,4,0).
wr(b223,5,0).
bk(b223,4,0).
wk(b224,3,1).
wr(b224,3,3).
bk(b224,7,3).
wk(b225,6,6).
wr(b225,0,0).
bk(b225,0,3).
wk(b226,2,0).
wr(b226,7,0).
bk(b226,3,0).
wk(b227,0,1).
wr(b227,6,2).
bk(b227,6,0).
wk(b228,0,4).
wr(b228,2,3).
bk(b228,2,4).
wk(b229,6,2).
wr(b229,4,3).
bk(b229,3,3).
wk(b230,1,6).
wr(b230,6,3).
bk(b230,6,2).
wk(b231,5,6).
wr(b231,4,6).
bk(b231,1,6).
wk(b232,1,6).
wr(b232,1,3).
bk(b232,2,3).
wk(b233,6,2).
wr(b233,0,3).
bk(b233,5,2).
wk(b234,1,4).
wr(b234,1,4).
bk(b234,1,3).
wk(b235,5,0).
wr(b235,0,7).
bk(b235,5,1).
wk(b236,1,3).
wr(b236,6,3).
bk(b236,4,3).
wk(b237,4,7).
wr(b237,1,0).
bk(b237,1,1).
wk(b238,2,5).
wr(b238,6,4).
bk(b238,6,6).
wk(b239,2,1).
wr(b239,2,1).
bk(b239,4,6).
wk(b240,0,6).
wr(b240,0,6).
bk(b240,6,5).
wk(b241,5,5).
wr(b241,2,0).
bk(b241,2,7).
wk(b242,3,7).
wr(b242,4,3).
bk(b242,4,4).
wk(b243,1,3).
wr(b243,6,6).
bk(b243,6,2).
wk(b244,0,0).
wr(b244,7,2).
bk(b244,1,0).
wk(b245,1,5).
wr(b245,0,6).
bk(b245,2,4).
wk(b246,6,1).
wr(b246,7,5).
bk(b246,0,5).
wk(b247,6,0).
wr(b247,1,7).
bk(b247,0,7).
wk(b248,0,0).
wr(b248,6,3).
bk(b248,6,3).
wk(b249,4,7).
wr(b249,0,1).
bk(b249,0,4).
wk(b250,0,3).
wr(b250,4,0).
bk(b250,2,0).
wk(b251,7,1).
wr(b251,1,3).
bk(b251,1,1).
wk(b252,0,6).
wr(b252,2,3).
bk(b252,2,2).
wk(b253,5,0).
wr(b253,0,5).
bk(b253,0,0).
wk(b254,3,2).
wr(b254,5,4).
bk(b254,2,1).
wk(b255,1,4).
wr(b255,7,5).
bk(b255,7,6).
wk(b256,5,5).
wr(b256,5,3).
bk(b256,2,3).
wk(b257,6,5).
wr(b257,7,3).
bk(b257,3,3).
wk(b258,6,7).
wr(b258,4,1).
bk(b258,1,1).
wk(b259,6,1).
wr(b259,1,4).
bk(b259,6,1).
wk(b260,4,2).
wr(b260,6,0).
bk(b260,6,3).
wk(b261,5,0).
wr(b261,5,3).
bk(b261,6,0).
wk(b262,1,5).
wr(b262,1,0).
bk(b262,4,0).
wk(b263,6,4).
wr(b263,3,0).
bk(b263,1,0).
wk(b264,6,5).
wr(b264,5,1).
bk(b264,6,4).
wk(b265,0,7).
wr(b265,5,4).
bk(b265,2,4).
wk(b266,4,2).
wr(b266,4,1).
bk(b266,3,3).
wk(b267,2,6).
wr(b267,2,4).
bk(b267,2,1).
wk(b268,3,2).
wr(b268,4,2).
bk(b268,6,2).
wk(b269,4,3).
wr(b269,3,2).
bk(b269,5,2).
wk(b270,3,0).
wr(b270,2,3).
bk(b270,4,1).
wk(b271,0,2).
wr(b271,4,5).
bk(b271,0,1).
wk(b272,2,6).
wr(b272,4,5).
bk(b272,1,6).
wk(b273,3,7).
wr(b273,6,4).
bk(b273,2,4).
wk(b274,6,2).
wr(b274,0,3).
bk(b274,7,1).
wk(b275,2,3).
wr(b275,5,1).
bk(b275,6,1).
wk(b276,1,5).
wr(b276,6,3).
bk(b276,2,4).
wk(b277,1,3).
wr(b277,3,5).
bk(b277,6,5).
wk(b278,3,4).
wr(b278,7,4).
bk(b278,7,2).
wk(b279,0,0).
wr(b279,5,3).
bk(b279,5,6).
wk(b280,4,4).
wr(b280,4,4).
bk(b280,3,3).
wk(b281,2,1).
wr(b281,7,6).
bk(b281,1,1).
wk(b282,0,7).
wr(b282,6,3).
bk(b282,4,3).
wk(b283,4,1).
wr(b283,4,4).
bk(b283,5,1).
wk(b284,2,1).
wr(b284,1,7).
bk(b284,3,1).
wk(b285,6,0).
wr(b285,5,1).
bk(b285,7,1).
wk(b286,0,1).
wr(b286,2,1).
bk(b286,6,1).
wk(b287,2,1).
wr(b287,3,5).
bk(b287,4,5).
wk(b288,2,3).
wr(b288,0,7).
bk(b288,0,1).
wk(b289,3,0).
wr(b289,7,6).
bk(b289,7,6).
wk(b290,7,0).
wr(b290,2,7).
bk(b290,7,1).
wk(b291,7,6).
wr(b291,1,1).
bk(b291,1,2).
wk(b292,6,5).
wr(b292,3,3).
bk(b292,0,3).
wk(b293,2,7).
wr(b293,7,7).
bk(b293,7,2).
wk(b294,2,5).
wr(b294,5,3).
bk(b294,1,6).
wk(b295,0,7).
wr(b295,7,7).
bk(b295,7,4).
wk(b296,1,5).
wr(b296,6,1).
bk(b296,0,5).
wk(b297,4,0).
wr(b297,5,2).
bk(b297,5,3).
wk(b298,5,7).
wr(b298,7,0).
bk(b298,4,7).
wk(b299,3,4).
wr(b299,5,2).
bk(b299,4,2).
wk(b300,2,1).
wr(b300,4,7).
bk(b300,1,2).
wk(b301,1,4).
wr(b301,4,3).
bk(b301,6,3).
wk(b302,5,1).
wr(b302,6,6).
bk(b302,6,5).
wk(b303,2,5).
wr(b303,2,5).
bk(b303,0,6).
wk(b304,1,4).
wr(b304,2,4).
bk(b304,2,3).
wk(b305,3,4).
wr(b305,2,1).
bk(b305,4,4).
wk(b306,5,2).
wr(b306,4,1).
bk(b306,6,1).
wk(b307,2,5).
wr(b307,2,5).
bk(b307,6,4).
wk(b308,6,1).
wr(b308,1,0).
bk(b308,5,2).
wk(b309,6,3).
wr(b309,1,6).
bk(b309,1,5).
wk(b310,7,1).
wr(b310,6,3).
bk(b310,0,3).
wk(b311,7,0).
wr(b311,0,6).
bk(b311,0,3).
wk(b312,0,7).
wr(b312,5,6).
bk(b312,5,5).
wk(b313,4,5).
wr(b313,5,7).
bk(b313,4,5).
wk(b314,3,6).
wr(b314,6,0).
bk(b314,7,0).
wk(b315,4,4).
wr(b315,7,0).
bk(b315,5,3).
wk(b316,3,2).
wr(b316,3,6).
bk(b316,2,2).
wk(b317,1,6).
wr(b317,1,6).
bk(b317,5,5).
wk(b318,7,3).
wr(b318,5,7).
bk(b318,6,4).
wk(b319,0,3).
wr(b319,3,3).
bk(b319,3,4).
wk(b320,2,4).
wr(b320,3,7).
bk(b320,3,0).
wk(b321,1,3).
wr(b321,5,7).
bk(b321,3,7).
wk(b322,2,1).
wr(b322,1,2).
bk(b322,0,2).
wk(b323,2,6).
wr(b323,3,1).
bk(b323,2,1).
wk(b324,2,1).
wr(b324,5,7).
bk(b324,5,7).
wk(b325,5,4).
wr(b325,4,4).
bk(b325,5,4).
wk(b326,5,6).
wr(b326,1,3).
bk(b326,4,7).
wk(b327,2,7).
wr(b327,4,7).
bk(b327,1,7).
wk(b328,6,3).
wr(b328,6,7).
bk(b328,5,7).
wk(b329,3,6).
wr(b329,4,2).
bk(b329,3,2).
wk(b330,1,6).
wr(b330,1,4).
bk(b330,4,4).
wk(b331,7,7).
wr(b331,4,5).
bk(b331,4,5).
wk(b332,5,6).
wr(b332,1,0).
bk(b332,2,0).
wk(b333,6,1).
wr(b333,4,5).
bk(b333,7,5).
wk(b334,5,6).
wr(b334,0,3).
bk(b334,5,7).
wk(b335,1,1).
wr(b335,5,0).
bk(b335,4,0).
wk(b336,2,1).
wr(b336,7,5).
bk(b336,3,1).
wk(b337,7,5).
wr(b337,4,7).
bk(b337,4,0).
wk(b338,3,0).
wr(b338,4,2).
bk(b338,3,2).
wk(b339,2,1).
wr(b339,5,4).
bk(b339,1,0).
wk(b340,4,7).
wr(b340,0,1).
bk(b340,5,6).
wk(b341,2,4).
wr(b341,6,1).
bk(b341,2,4).
wk(b342,6,5).
wr(b342,5,0).
bk(b342,5,7).
wk(b343,4,3).
wr(b343,0,3).
bk(b343,0,0).
wk(b344,4,3).
wr(b344,2,4).
bk(b344,3,2).
wk(b345,4,5).
wr(b345,5,3).
bk(b345,5,2).
wk(b346,6,7).
wr(b346,2,4).
bk(b346,7,6).
wk(b347,6,7).
wr(b347,3,4).
bk(b347,3,2).
wk(b348,2,2).
wr(b348,7,5).
bk(b348,2,5).
wk(b349,7,0).
wr(b349,1,6).
bk(b349,6,1).
wk(b350,7,5).
wr(b350,4,2).
bk(b350,4,5).
wk(b351,5,1).
wr(b351,5,5).
bk(b351,6,2).
wk(b352,7,0).
wr(b352,5,2).
bk(b352,3,2).
wk(b353,6,6).
wr(b353,5,2).
bk(b353,6,6).
wk(b354,1,0).
wr(b354,3,3).
bk(b354,3,5).
wk(b355,3,7).
wr(b355,1,2).
bk(b355,1,5).
wk(b356,3,3).
wr(b356,3,4).
bk(b356,3,3).
wk(b357,0,4).
wr(b357,0,1).
bk(b357,0,3).
wk(b358,6,5).
wr(b358,5,7).
bk(b358,5,7).
wk(b359,1,2).
wr(b359,2,6).
bk(b359,4,6).
wk(b360,3,7).
wr(b360,3,3).
bk(b360,3,7).
wk(b361,3,2).
wr(b361,2,4).
bk(b361,6,4).
wk(b362,1,5).
wr(b362,7,2).
bk(b362,7,7).
wk(b363,3,1).
wr(b363,0,6).
bk(b363,4,1).
wk(b364,0,1).
wr(b364,5,4).
bk(b364,1,0).
wk(b365,2,2).
wr(b365,3,5).
bk(b365,1,2).
wk(b366,7,0).
wr(b366,6,5).
bk(b366,1,5).
wk(b367,4,3).
wr(b367,0,1).
bk(b367,3,1).
wk(b368,7,5).
wr(b368,2,3).
bk(b368,2,5).
wk(b369,6,6).
wr(b369,6,7).
bk(b369,1,7).
wk(b370,6,2).
wr(b370,0,6).
bk(b370,5,1).
wk(b371,4,5).
wr(b371,7,4).
bk(b371,5,4).
wk(b372,5,0).
wr(b372,6,6).
bk(b372,6,1).
wk(b373,1,5).
wr(b373,5,0).
bk(b373,5,6).
wk(b374,1,6).
wr(b374,4,0).
bk(b374,5,0).
wk(b375,2,2).
wr(b375,2,6).
bk(b375,2,1).
wk(b376,1,0).
wr(b376,5,5).
bk(b376,1,1).
wk(b377,7,4).
wr(b377,5,4).
bk(b377,5,7).
wk(b378,5,0).
wr(b378,5,7).
bk(b378,5,2).
wk(b379,2,1).
wr(b379,4,3).
bk(b379,2,2).
wk(b380,7,4).
wr(b380,7,6).
bk(b380,4,6).
wk(b381,7,1).
wr(b381,6,7).
bk(b381,6,0).
wk(b382,4,7).
wr(b382,2,6).
bk(b382,2,4).
wk(b383,6,3).
wr(b383,4,3).
bk(b383,6,4).
wk(b384,5,6).
wr(b384,4,7).
bk(b384,1,7).
wk(b385,3,3).
wr(b385,4,7).
bk(b385,2,4).
wk(b386,1,7).
wr(b386,7,3).
bk(b386,1,3).
wk(b387,5,2).
wr(b387,1,6).
bk(b387,2,6).
wk(b388,5,1).
wr(b388,0,2).
bk(b388,5,1).
wk(b389,3,7).
wr(b389,2,6).
bk(b389,4,7).
wk(b390,0,2).
wr(b390,4,6).
bk(b390,7,6).
wk(b391,0,7).
wr(b391,7,0).
bk(b391,7,6).
wk(b392,3,4).
wr(b392,2,5).
bk(b392,7,5).
wk(b393,6,4).
wr(b393,6,3).
bk(b393,7,4).
wk(b394,2,0).
wr(b394,3,1).
bk(b394,3,1).
wk(b395,3,2).
wr(b395,0,1).
bk(b395,1,1).
wk(b396,1,3).
wr(b396,6,1).
bk(b396,2,3).
wk(b397,4,5).
wr(b397,0,7).
bk(b397,5,6).
wk(b398,0,0).
wr(b398,0,5).
bk(b398,2,5).
wk(b399,2,2).
wr(b399,2,6).
bk(b399,1,1).
wk(b400,4,7).
wr(b400,6,0).
bk(b400,4,0).
wk(b401,4,4).
wr(b401,6,2).
bk(b401,2,2).
wk(b402,4,3).
wr(b402,2,6).
bk(b402,5,6).
wk(b403,3,7).
wr(b403,4,6).
bk(b403,2,6).
wk(b404,7,5).
wr(b404,3,2).
bk(b404,3,7).
wk(b405,5,7).
wr(b405,7,5).
bk(b405,7,0).
wk(b406,1,2).
wr(b406,3,6).
bk(b406,5,6).
wk(b407,1,3).
wr(b407,3,3).
bk(b407,2,2).
wk(b408,3,7).
wr(b408,3,7).
bk(b408,6,0).
wk(b409,2,3).
wr(b409,4,1).
bk(b409,2,2).
wk(b410,6,6).
wr(b410,4,2).
bk(b410,3,2).
wk(b411,6,1).
wr(b411,5,2).
bk(b411,7,1).
wk(b412,7,0).
wr(b412,4,7).
bk(b412,0,7).
wk(b413,6,1).
wr(b413,2,1).
bk(b413,2,0).
wk(b414,1,7).
wr(b414,5,3).
bk(b414,1,6).
wk(b415,3,2).
wr(b415,3,0).
bk(b415,1,0).
wk(b416,1,4).
wr(b416,7,0).
bk(b416,2,0).
wk(b417,6,0).
wr(b417,0,6).
bk(b417,6,6).
wk(b418,5,6).
wr(b418,2,5).
bk(b418,4,7).
wk(b419,3,3).
wr(b419,1,3).
bk(b419,3,3).
wk(b420,5,6).
wr(b420,2,4).
bk(b420,4,5).
wk(b421,4,2).
wr(b421,1,5).
bk(b421,1,4).
wk(b422,4,0).
wr(b422,5,0).
bk(b422,3,0).
wk(b423,0,7).
wr(b423,3,4).
bk(b423,3,3).
wk(b424,1,2).
wr(b424,5,1).
bk(b424,1,3).
wk(b425,6,4).
wr(b425,1,1).
bk(b425,7,3).
wk(b426,3,6).
wr(b426,4,2).
bk(b426,5,2).
wk(b427,6,3).
wr(b427,5,5).
bk(b427,5,5).
wk(b428,6,5).
wr(b428,6,2).
bk(b428,5,4).
wk(b429,6,7).
wr(b429,5,6).
bk(b429,1,6).
wk(b430,0,3).
wr(b430,6,0).
bk(b430,2,0).
wk(b431,7,2).
wr(b431,1,2).
bk(b431,0,2).
wk(b432,5,7).
wr(b432,7,0).
bk(b432,5,6).
wk(b433,3,7).
wr(b433,0,2).
bk(b433,5,2).
wk(b434,4,0).
wr(b434,0,5).
bk(b434,3,1).
wk(b435,4,1).
wr(b435,5,1).
bk(b435,5,5).
wk(b436,2,7).
wr(b436,2,7).
bk(b436,2,3).
wk(b437,7,6).
wr(b437,2,5).
bk(b437,4,5).
wk(b438,5,2).
wr(b438,7,5).
bk(b438,7,0).
wk(b439,1,2).
wr(b439,1,4).
bk(b439,6,4).
wk(b440,7,6).
wr(b440,3,6).
bk(b440,2,6).
wk(b441,0,7).
wr(b441,7,6).
bk(b441,5,6).
wk(b442,5,4).
wr(b442,3,2).
bk(b442,4,3).
wk(b443,2,1).
wr(b443,3,3).
bk(b443,1,1).
wk(b444,7,0).
wr(b444,1,5).
bk(b444,6,5).
wk(b445,2,3).
wr(b445,0,5).
bk(b445,7,5).
wk(b446,6,5).
wr(b446,4,0).
bk(b446,6,5).
wk(b447,4,2).
wr(b447,6,7).
bk(b447,7,7).
wk(b448,6,5).
wr(b448,7,7).
bk(b448,7,0).
wk(b449,7,2).
wr(b449,0,4).
bk(b449,0,1).
wk(b450,3,0).
wr(b450,5,7).
bk(b450,2,0).
wk(b451,6,4).
wr(b451,6,5).
bk(b451,2,5).
wk(b452,3,1).
wr(b452,7,7).
bk(b452,7,6).
wk(b453,4,5).
wr(b453,5,3).
bk(b453,4,5).
wk(b454,6,0).
wr(b454,0,1).
bk(b454,7,1).
wk(b455,1,5).
wr(b455,0,2).
bk(b455,5,2).
wk(b456,6,6).
wr(b456,1,1).
bk(b456,5,5).
wk(b457,6,3).
wr(b457,1,5).
bk(b457,1,7).
wk(b458,2,6).
wr(b458,3,6).
bk(b458,6,6).
wk(b459,1,7).
wr(b459,2,2).
bk(b459,1,2).
wk(b460,6,0).
wr(b460,2,5).
bk(b460,5,1).
wk(b461,4,4).
wr(b461,6,3).
bk(b461,3,3).
wk(b462,2,4).
wr(b462,5,7).
bk(b462,3,3).
wk(b463,5,0).
wr(b463,7,3).
bk(b463,7,6).
wk(b464,6,3).
wr(b464,7,6).
bk(b464,6,2).
wk(b465,6,4).
wr(b465,4,3).
bk(b465,4,1).
wk(b466,2,4).
wr(b466,2,5).
bk(b466,3,4).
wk(b467,6,5).
wr(b467,4,4).
bk(b467,4,2).
wk(b468,5,5).
wr(b468,6,7).
bk(b468,3,7).
wk(b469,2,5).
wr(b469,0,0).
bk(b469,1,4).
wk(b470,2,1).
wr(b470,2,1).
bk(b470,1,5).
wk(b471,7,7).
wr(b471,7,3).
bk(b471,2,3).
wk(b472,5,7).
wr(b472,5,6).
bk(b472,5,3).
wk(b473,2,2).
wr(b473,3,3).
bk(b473,1,2).
wk(b474,0,7).
wr(b474,0,7).
bk(b474,7,7).
wk(b475,4,0).
wr(b475,7,2).
bk(b475,7,2).
wk(b476,0,0).
wr(b476,1,3).
bk(b476,1,6).
wk(b477,7,3).
wr(b477,1,7).
bk(b477,7,2).
wk(b478,5,5).
wr(b478,4,5).
bk(b478,5,6).
wk(b479,6,6).
wr(b479,4,1).
bk(b479,6,5).
wk(b480,5,4).
wr(b480,1,3).
bk(b480,1,6).
wk(b481,1,5).
wr(b481,3,0).
bk(b481,1,5).
wk(b482,7,7).
wr(b482,2,1).
bk(b482,2,7).
wk(b483,4,4).
wr(b483,5,2).
bk(b483,3,5).
wk(b484,4,3).
wr(b484,6,4).
bk(b484,6,1).
wk(b485,0,3).
wr(b485,7,0).
bk(b485,0,0).
wk(b486,7,7).
wr(b486,2,1).
bk(b486,6,6).
wk(b487,2,3).
wr(b487,4,6).
bk(b487,4,5).
wk(b488,1,4).
wr(b488,3,6).
bk(b488,2,3).
wk(b489,2,3).
wr(b489,0,7).
bk(b489,0,4).
wk(b490,7,0).
wr(b490,1,6).
bk(b490,7,1).
wk(b491,5,7).
wr(b491,6,6).
bk(b491,6,5).
wk(b492,3,6).
wr(b492,6,5).
bk(b492,3,5).
wk(b493,2,3).
wr(b493,0,2).
bk(b493,4,2).
wk(b494,6,4).
wr(b494,7,7).
bk(b494,6,7).
wk(b495,5,2).
wr(b495,7,7).
bk(b495,7,3).
wk(b496,7,0).
wr(b496,4,7).
bk(b496,4,1).
wk(b497,3,3).
wr(b497,1,7).
bk(b497,2,3).
wk(b498,4,4).
wr(b498,4,3).
bk(b498,2,3).
wk(b499,0,6).
wr(b499,5,2).
bk(b499,6,2).
wk(b500,7,6).
wr(b500,2,2).
bk(b500,6,2).
wk(b501,3,3).
wr(b501,6,4).
bk(b501,6,4).
wk(b502,1,0).
wr(b502,3,2).
bk(b502,3,6).
wk(b503,0,6).
wr(b503,4,2).
bk(b503,0,6).
wk(b504,4,2).
wr(b504,5,3).
bk(b504,5,7).
wk(b505,5,4).
wr(b505,7,0).
bk(b505,6,3).
wk(b506,0,1).
wr(b506,6,4).
bk(b506,2,4).
wk(b507,4,4).
wr(b507,7,6).
bk(b507,4,5).
wk(b508,6,7).
wr(b508,1,5).
bk(b508,1,2).
wk(b509,7,3).
wr(b509,3,5).
bk(b509,3,0).
wk(b510,0,1).
wr(b510,2,6).
bk(b510,2,5).
wk(b511,0,1).
wr(b511,0,3).
bk(b511,1,1).
wk(b512,0,6).
wr(b512,4,1).
bk(b512,4,0).
wk(b513,4,4).
wr(b513,7,3).
bk(b513,2,3).
wk(b514,4,4).
wr(b514,0,6).
bk(b514,0,4).
wk(b515,1,1).
wr(b515,7,0).
bk(b515,2,0).
wk(b516,3,4).
wr(b516,1,1).
bk(b516,5,1).
wk(b517,2,3).
wr(b517,1,5).
bk(b517,1,1).
wk(b518,4,6).
wr(b518,7,1).
bk(b518,5,1).
wk(b519,3,1).
wr(b519,3,0).
bk(b519,6,0).
wk(b520,5,6).
wr(b520,0,1).
bk(b520,5,6).
wk(b521,5,6).
wr(b521,4,4).
bk(b521,4,1).
wk(b522,0,2).
wr(b522,7,1).
bk(b522,7,5).
wk(b523,3,5).
wr(b523,0,4).
bk(b523,0,3).
wk(b524,7,7).
wr(b524,0,4).
bk(b524,0,5).
wk(b525,2,4).
wr(b525,0,3).
bk(b525,1,5).
wk(b526,6,4).
wr(b526,6,1).
bk(b526,3,1).
wk(b527,3,2).
wr(b527,6,3).
bk(b527,2,2).
wk(b528,5,1).
wr(b528,7,7).
bk(b528,6,2).
wk(b529,2,5).
wr(b529,4,4).
bk(b529,3,5).
wk(b530,3,5).
wr(b530,4,1).
bk(b530,4,0).
wk(b531,7,5).
wr(b531,2,7).
bk(b531,2,7).
wk(b532,2,4).
wr(b532,2,1).
bk(b532,1,3).
wk(b533,1,5).
wr(b533,1,3).
bk(b533,3,3).
wk(b534,3,1).
wr(b534,0,0).
bk(b534,0,7).
wk(b535,1,0).
wr(b535,6,5).
bk(b535,2,1).
wk(b536,2,4).
wr(b536,1,6).
bk(b536,3,6).
wk(b537,1,5).
wr(b537,7,3).
bk(b537,1,6).
wk(b538,4,2).
wr(b538,2,2).
bk(b538,0,2).
wk(b539,7,1).
wr(b539,0,3).
bk(b539,0,2).
wk(b540,5,6).
wr(b540,7,3).
bk(b540,7,4).
wk(b541,2,2).
wr(b541,4,1).
bk(b541,1,3).
wk(b542,4,1).
wr(b542,2,6).
bk(b542,2,2).
wk(b543,5,7).
wr(b543,0,3).
bk(b543,5,3).
wk(b544,5,0).
wr(b544,2,7).
bk(b544,2,4).
wk(b545,1,5).
wr(b545,6,6).
bk(b545,6,3).
wk(b546,4,6).
wr(b546,6,5).
bk(b546,6,0).
wk(b547,5,2).
wr(b547,4,4).
bk(b547,7,4).
wk(b548,6,5).
wr(b548,3,4).
bk(b548,6,6).
wk(b549,7,6).
wr(b549,1,2).
bk(b549,1,4).
wk(b550,3,0).
wr(b550,1,2).
bk(b550,6,2).
wk(b551,6,5).
wr(b551,2,3).
bk(b551,3,3).
wk(b552,3,3).
wr(b552,1,0).
bk(b552,5,0).
wk(b553,1,4).
wr(b553,6,7).
bk(b553,6,2).
wk(b554,2,1).
wr(b554,1,0).
bk(b554,5,0).
wk(b555,4,2).
wr(b555,3,0).
bk(b555,4,2).
wk(b556,1,5).
wr(b556,0,4).
bk(b556,3,4).
wk(b557,0,3).
wr(b557,2,1).
bk(b557,2,7).
wk(b558,2,7).
wr(b558,1,6).
bk(b558,1,0).
wk(b559,1,2).
wr(b559,2,4).
bk(b559,0,1).
wk(b560,5,6).
wr(b560,5,7).
bk(b560,6,5).
wk(b561,6,1).
wr(b561,7,0).
bk(b561,7,4).
wk(b562,4,0).
wr(b562,5,6).
bk(b562,7,6).
wk(b563,5,1).
wr(b563,3,0).
bk(b563,4,1).
wk(b564,6,1).
wr(b564,2,5).
bk(b564,5,1).
wk(b565,7,4).
wr(b565,6,7).
bk(b565,6,0).
wk(b566,0,6).
wr(b566,2,1).
bk(b566,1,1).
wk(b567,4,0).
wr(b567,5,1).
bk(b567,5,7).
wk(b568,5,4).
wr(b568,1,7).
bk(b568,6,7).
wk(b569,3,7).
wr(b569,6,3).
bk(b569,6,4).
wk(b570,5,3).
wr(b570,4,4).
bk(b570,4,0).
wk(b571,4,3).
wr(b571,4,0).
bk(b571,3,3).
wk(b572,4,1).
wr(b572,7,0).
bk(b572,6,0).
wk(b573,4,3).
wr(b573,3,3).
bk(b573,4,4).
wk(b574,4,3).
wr(b574,2,0).
bk(b574,2,1).
wk(b575,2,2).
wr(b575,6,4).
bk(b575,1,3).
wk(b576,6,7).
wr(b576,6,7).
bk(b576,7,0).
wk(b577,6,6).
wr(b577,3,0).
bk(b577,6,5).
wk(b578,1,5).
wr(b578,5,4).
bk(b578,6,4).
wk(b579,7,5).
wr(b579,0,1).
bk(b579,5,1).
wk(b580,6,6).
wr(b580,3,3).
bk(b580,5,6).
wk(b581,1,6).
wr(b581,2,2).
bk(b581,2,0).
wk(b582,4,4).
wr(b582,6,3).
bk(b582,6,4).
wk(b583,4,4).
wr(b583,1,2).
bk(b583,5,2).
wk(b584,1,4).
wr(b584,5,0).
bk(b584,0,3).
wk(b585,6,4).
wr(b585,7,0).
bk(b585,5,3).
wk(b586,0,2).
wr(b586,3,2).
bk(b586,0,2).
wk(b587,4,1).
wr(b587,1,2).
bk(b587,3,2).
wk(b588,5,2).
wr(b588,4,1).
bk(b588,4,6).
wk(b589,1,6).
wr(b589,3,7).
bk(b589,3,1).
wk(b590,3,0).
wr(b590,6,7).
bk(b590,6,7).
wk(b591,0,5).
wr(b591,7,2).
bk(b591,7,5).
wk(b592,6,2).
wr(b592,3,4).
bk(b592,3,5).
wk(b593,5,4).
wr(b593,6,7).
bk(b593,5,7).
wk(b594,5,2).
wr(b594,1,1).
bk(b594,5,2).
wk(b595,0,3).
wr(b595,7,3).
bk(b595,1,2).
wk(b596,7,5).
wr(b596,7,5).
bk(b596,6,0).
wk(b597,7,6).
wr(b597,4,0).
bk(b597,6,5).
wk(b598,6,4).
wr(b598,7,2).
bk(b598,6,4).
wk(b599,0,4).
wr(b599,1,5).
bk(b599,1,4).
wk(b600,4,2).
wr(b600,4,2).
bk(b600,6,2).
wk(b601,2,1).
wr(b601,5,2).
bk(b601,4,2).
wk(b602,1,1).
wr(b602,2,0).
bk(b602,2,6).
wk(b603,6,0).
wr(b603,5,1).
bk(b603,4,1).
wk(b604,2,5).
wr(b604,6,4).
bk(b604,1,4).
wk(b605,0,0).
wr(b605,0,0).
bk(b605,3,6).
wk(b606,2,4).
wr(b606,6,7).
bk(b606,7,7).
wk(b607,7,6).
wr(b607,5,3).
bk(b607,5,2).
wk(b608,1,0).
wr(b608,3,3).
bk(b608,1,0).
wk(b609,7,4).
wr(b609,7,1).
bk(b609,0,1).
wk(b610,2,6).
wr(b610,0,3).
bk(b610,0,3).
wk(b611,0,5).
wr(b611,7,3).
bk(b611,7,2).
wk(b612,1,4).
wr(b612,7,3).
bk(b612,7,0).
wk(b613,0,3).
wr(b613,2,0).
bk(b613,7,0).
wk(b614,1,2).
wr(b614,2,7).
bk(b614,1,2).
wk(b615,5,3).
wr(b615,0,2).
bk(b615,1,2).
wk(b616,0,1).
wr(b616,2,7).
bk(b616,2,6).
wk(b617,2,6).
wr(b617,6,3).
bk(b617,4,3).
wk(b618,4,0).
wr(b618,0,2).
bk(b618,3,0).
wk(b619,0,4).
wr(b619,7,4).
bk(b619,0,5).
wk(b620,4,7).
wr(b620,2,2).
bk(b620,2,4).
wk(b621,4,7).
wr(b621,3,1).
bk(b621,1,1).
wk(b622,5,4).
wr(b622,3,5).
bk(b622,3,6).
wk(b623,7,7).
wr(b623,1,7).
bk(b623,1,6).
wk(b624,6,3).
wr(b624,5,5).
bk(b624,6,2).
wk(b625,2,0).
wr(b625,7,2).
bk(b625,1,2).
wk(b626,5,3).
wr(b626,4,4).
bk(b626,0,4).
wk(b627,1,7).
wr(b627,1,3).
bk(b627,1,4).
wk(b628,6,2).
wr(b628,5,6).
bk(b628,1,6).
wk(b629,5,2).
wr(b629,3,0).
bk(b629,5,0).
wk(b630,5,2).
wr(b630,2,1).
bk(b630,2,6).
wk(b631,1,7).
wr(b631,3,5).
bk(b631,3,1).
wk(b632,1,1).
wr(b632,0,2).
bk(b632,2,0).
wk(b633,5,6).
wr(b633,0,4).
bk(b633,2,4).
wk(b634,6,3).
wr(b634,3,0).
bk(b634,7,3).
wk(b635,7,3).
wr(b635,2,1).
bk(b635,4,1).
wk(b636,5,5).
wr(b636,4,1).
bk(b636,7,1).
wk(b637,3,3).
wr(b637,7,3).
bk(b637,7,6).
wk(b638,1,5).
wr(b638,5,3).
bk(b638,1,3).
wk(b639,6,1).
wr(b639,5,1).
bk(b639,5,3).
wk(b640,7,4).
wr(b640,4,6).
bk(b640,5,6).
wk(b641,4,1).
wr(b641,1,5).
bk(b641,1,2).
wk(b642,1,7).
wr(b642,2,1).
bk(b642,2,4).
wk(b643,5,2).
wr(b643,4,4).
bk(b643,5,3).
wk(b644,5,7).
wr(b644,7,3).
bk(b644,6,7).
wk(b645,1,4).
wr(b645,3,1).
bk(b645,3,5).
wk(b646,0,2).
wr(b646,5,7).
bk(b646,5,2).
wk(b647,0,2).
wr(b647,4,7).
bk(b647,2,7).
wk(b648,6,1).
wr(b648,1,4).
bk(b648,1,4).
wk(b649,3,7).
wr(b649,2,6).
bk(b649,2,7).
wk(b650,6,5).
wr(b650,2,3).
bk(b650,5,3).
wk(b651,3,5).
wr(b651,1,7).
bk(b651,1,1).
wk(b652,6,6).
wr(b652,2,3).
bk(b652,5,3).
wk(b653,2,4).
wr(b653,6,0).
bk(b653,6,4).
wk(b654,6,1).
wr(b654,6,6).
bk(b654,4,6).
wk(b655,7,6).
wr(b655,3,7).
bk(b655,5,7).
wk(b656,3,1).
wr(b656,2,0).
bk(b656,2,4).
wk(b657,2,3).
wr(b657,4,5).
bk(b657,4,3).
wk(b658,5,1).
wr(b658,0,6).
bk(b658,4,1).
wk(b659,4,4).
wr(b659,6,0).
bk(b659,6,5).
wk(b660,5,7).
wr(b660,5,7).
bk(b660,2,7).
wk(b661,3,2).
wr(b661,5,1).
bk(b661,5,5).
wk(b662,2,1).
wr(b662,3,7).
bk(b662,5,7).
wk(b663,3,2).
wr(b663,5,6).
bk(b663,1,6).
wk(b664,7,3).
wr(b664,6,0).
bk(b664,6,0).
wk(b665,3,7).
wr(b665,1,3).
bk(b665,1,0).
wk(b666,5,4).
wr(b666,7,0).
bk(b666,6,5).
wk(b667,3,6).
wr(b667,7,1).
bk(b667,0,1).
wk(b668,4,0).
wr(b668,7,6).
bk(b668,4,0).
wk(b669,3,5).
wr(b669,3,0).
bk(b669,3,2).
wk(b670,0,6).
wr(b670,0,6).
bk(b670,2,3).
wk(b671,7,5).
wr(b671,4,7).
bk(b671,3,7).
wk(b672,5,1).
wr(b672,3,0).
bk(b672,3,5).
wk(b673,7,1).
wr(b673,0,4).
bk(b673,1,4).
wk(b674,1,1).
wr(b674,7,3).
bk(b674,7,3).
wk(b675,5,5).
wr(b675,4,1).
bk(b675,4,4).
wk(b676,4,2).
wr(b676,6,3).
bk(b676,0,3).
wk(b677,2,2).
wr(b677,5,7).
bk(b677,1,2).
wk(b678,4,0).
wr(b678,5,5).
bk(b678,5,2).
wk(b679,3,7).
wr(b679,3,1).
bk(b679,2,6).
wk(b680,0,5).
wr(b680,1,6).
bk(b680,0,5).
wk(b681,2,3).
wr(b681,3,3).
bk(b681,1,3).
wk(b682,5,1).
wr(b682,5,0).
bk(b682,5,2).
wk(b683,4,2).
wr(b683,4,4).
bk(b683,4,7).
wk(b684,1,3).
wr(b684,1,5).
bk(b684,1,3).
wk(b685,0,3).
wr(b685,5,1).
bk(b685,5,2).
wk(b686,1,1).
wr(b686,7,7).
bk(b686,7,3).
wk(b687,5,7).
wr(b687,4,1).
bk(b687,7,1).
wk(b688,3,3).
wr(b688,5,4).
bk(b688,5,6).
wk(b689,0,4).
wr(b689,1,6).
bk(b689,0,6).
wk(b690,3,1).
wr(b690,6,3).
bk(b690,3,3).
wk(b691,6,0).
wr(b691,0,0).
bk(b691,6,0).
wk(b692,0,2).
wr(b692,0,6).
bk(b692,1,3).
wk(b693,2,5).
wr(b693,7,5).
bk(b693,6,5).
wk(b694,0,6).
wr(b694,5,6).
bk(b694,6,6).
wk(b695,5,0).
wr(b695,5,7).
bk(b695,5,7).
wk(b696,4,4).
wr(b696,6,4).
bk(b696,5,5).
wk(b697,4,3).
wr(b697,1,3).
bk(b697,5,2).
wk(b698,4,0).
wr(b698,2,1).
bk(b698,5,0).
wk(b699,1,1).
wr(b699,0,7).
bk(b699,4,7).
wk(b700,2,7).
wr(b700,3,5).
bk(b700,0,5).
wk(b701,7,5).
wr(b701,7,1).
bk(b701,7,0).
wk(b702,3,1).
wr(b702,3,7).
bk(b702,3,2).
wk(b703,3,3).
wr(b703,4,1).
bk(b703,4,0).
wk(b704,6,6).
wr(b704,3,1).
bk(b704,1,1).
wk(b705,1,7).
wr(b705,5,0).
bk(b705,0,6).
wk(b706,6,5).
wr(b706,6,2).
bk(b706,5,5).
wk(b707,2,0).
wr(b707,2,3).
bk(b707,2,6).
wk(b708,4,7).
wr(b708,4,5).
bk(b708,6,5).
wk(b709,2,5).
wr(b709,5,6).
bk(b709,1,6).
wk(b710,5,7).
wr(b710,6,0).
bk(b710,4,6).
wk(b711,2,6).
wr(b711,5,5).
bk(b711,2,7).
wk(b712,7,5).
wr(b712,2,4).
bk(b712,0,4).
wk(b713,1,3).
wr(b713,7,6).
bk(b713,5,6).
wk(b714,0,5).
wr(b714,2,5).
bk(b714,2,6).
wk(b715,5,2).
wr(b715,7,0).
bk(b715,7,4).
wk(b716,4,4).
wr(b716,2,3).
bk(b716,4,3).
wk(b717,4,4).
wr(b717,3,0).
bk(b717,5,5).
wk(b718,0,7).
wr(b718,3,5).
bk(b718,2,5).
wk(b719,7,0).
wr(b719,5,2).
bk(b719,5,7).
wk(b720,2,3).
wr(b720,6,0).
bk(b720,6,6).
wk(b721,3,5).
wr(b721,0,2).
bk(b721,3,5).
wk(b722,3,3).
wr(b722,6,2).
bk(b722,2,2).
wk(b723,1,5).
wr(b723,7,0).
bk(b723,2,6).
wk(b724,2,4).
wr(b724,4,2).
bk(b724,1,2).
wk(b725,3,2).
wr(b725,4,4).
bk(b725,4,1).
wk(b726,7,6).
wr(b726,2,5).
bk(b726,2,2).
wk(b727,2,1).
wr(b727,6,1).
bk(b727,6,3).
wk(b728,2,0).
wr(b728,3,4).
bk(b728,3,5).
wk(b729,6,3).
wr(b729,3,4).
bk(b729,7,4).
wk(b730,5,1).
wr(b730,1,3).
bk(b730,1,6).
wk(b731,7,6).
wr(b731,4,6).
bk(b731,4,5).
wk(b732,1,7).
wr(b732,7,7).
bk(b732,7,5).
wk(b733,7,5).
wr(b733,5,2).
bk(b733,2,2).
wk(b734,4,0).
wr(b734,5,4).
bk(b734,4,0).
wk(b735,6,7).
wr(b735,3,2).
bk(b735,3,1).
wk(b736,7,7).
wr(b736,0,2).
bk(b736,2,2).
wk(b737,0,5).
wr(b737,7,3).
bk(b737,7,2).
wk(b738,3,2).
wr(b738,0,4).
bk(b738,2,2).
wk(b739,2,2).
wr(b739,7,3).
bk(b739,2,1).
wk(b740,4,3).
wr(b740,4,3).
bk(b740,0,5).
wk(b741,0,0).
wr(b741,7,2).
bk(b741,7,1).
wk(b742,5,5).
wr(b742,4,1).
bk(b742,5,5).
wk(b743,4,6).
wr(b743,5,7).
bk(b743,7,7).
wk(b744,3,5).
wr(b744,3,3).
bk(b744,5,3).
wk(b745,6,4).
wr(b745,1,3).
bk(b745,1,0).
wk(b746,3,1).
wr(b746,1,4).
bk(b746,4,0).
wk(b747,6,5).
wr(b747,7,2).
bk(b747,6,5).
wk(b748,1,6).
wr(b748,2,2).
bk(b748,2,2).
wk(b749,5,1).
wr(b749,0,3).
bk(b749,5,1).
wk(b750,1,3).
wr(b750,3,3).
bk(b750,1,2).
wk(b751,4,1).
wr(b751,7,2).
bk(b751,5,0).
wk(b752,4,4).
wr(b752,0,5).
bk(b752,4,5).
wk(b753,6,6).
wr(b753,7,7).
bk(b753,3,7).
wk(b754,5,0).
wr(b754,0,4).
bk(b754,0,7).
wk(b755,4,3).
wr(b755,4,5).
bk(b755,4,5).
wk(b756,4,0).
wr(b756,6,3).
bk(b756,6,3).
wk(b757,2,7).
wr(b757,1,6).
bk(b757,7,6).
wk(b758,5,6).
wr(b758,7,3).
bk(b758,6,6).
wk(b759,4,6).
wr(b759,5,2).
bk(b759,3,2).
wk(b760,2,4).
wr(b760,7,3).
bk(b760,7,0).
wk(b761,1,4).
wr(b761,2,3).
bk(b761,0,3).
wk(b762,0,2).
wr(b762,7,3).
bk(b762,6,3).
wk(b763,1,3).
wr(b763,6,3).
bk(b763,6,1).
wk(b764,4,4).
wr(b764,5,1).
bk(b764,3,1).
wk(b765,7,5).
wr(b765,0,7).
bk(b765,5,7).
wk(b766,4,3).
wr(b766,7,7).
bk(b766,7,7).
wk(b767,2,0).
wr(b767,6,5).
bk(b767,1,5).
wk(b768,6,0).
wr(b768,4,4).
bk(b768,4,5).
wk(b769,3,1).
wr(b769,4,4).
bk(b769,4,7).
wk(b770,4,1).
wr(b770,5,0).
bk(b770,7,0).
wk(b771,5,2).
wr(b771,4,7).
bk(b771,6,2).
wk(b772,0,7).
wr(b772,0,7).
bk(b772,1,1).
wk(b773,1,0).
wr(b773,5,3).
bk(b773,1,0).
wk(b774,7,2).
wr(b774,5,4).
bk(b774,5,4).
wk(b775,0,3).
wr(b775,0,1).
bk(b775,7,1).
wk(b776,5,4).
wr(b776,0,0).
bk(b776,6,0).
wk(b777,0,0).
wr(b777,2,6).
bk(b777,2,0).
wk(b778,5,6).
wr(b778,3,2).
bk(b778,7,2).
wk(b779,0,4).
wr(b779,5,1).
bk(b779,3,1).
wk(b780,1,7).
wr(b780,2,3).
bk(b780,0,3).
wk(b781,2,7).
wr(b781,3,2).
bk(b781,6,2).
wk(b782,0,3).
wr(b782,6,6).
bk(b782,6,5).
wk(b783,6,3).
wr(b783,7,3).
bk(b783,7,7).
wk(b784,0,1).
wr(b784,6,5).
bk(b784,1,5).
wk(b785,4,4).
wr(b785,5,3).
bk(b785,5,1).
wk(b786,1,4).
wr(b786,5,0).
bk(b786,2,4).
wk(b787,4,0).
wr(b787,5,2).
bk(b787,6,2).
wk(b788,1,0).
wr(b788,6,0).
bk(b788,6,4).
wk(b789,2,0).
wr(b789,3,6).
bk(b789,3,5).
wk(b790,3,5).
wr(b790,2,3).
bk(b790,1,3).
wk(b791,0,3).
wr(b791,2,0).
bk(b791,2,7).
wk(b792,1,1).
wr(b792,7,6).
bk(b792,4,6).
wk(b793,6,5).
wr(b793,3,3).
bk(b793,3,0).
wk(b794,2,4).
wr(b794,5,6).
bk(b794,5,5).
wk(b795,5,2).
wr(b795,5,7).
bk(b795,2,7).
wk(b796,2,6).
wr(b796,2,2).
bk(b796,3,5).
wk(b797,0,6).
wr(b797,7,7).
bk(b797,1,5).
wk(b798,0,6).
wr(b798,1,2).
bk(b798,1,4).
wk(b799,6,1).
wr(b799,0,2).
bk(b799,0,2).
wk(b800,4,3).
wr(b800,3,3).
bk(b800,3,2).
wk(b801,3,3).
wr(b801,3,3).
bk(b801,2,2).
wk(b802,4,1).
wr(b802,6,5).
bk(b802,6,7).
wk(b803,0,3).
wr(b803,3,6).
bk(b803,2,6).
wk(b804,0,3).
wr(b804,5,0).
bk(b804,6,0).
wk(b805,2,6).
wr(b805,3,4).
bk(b805,2,5).
wk(b806,6,7).
wr(b806,1,2).
bk(b806,7,6).
wk(b807,2,5).
wr(b807,6,3).
bk(b807,2,6).
wk(b808,4,6).
wr(b808,6,6).
bk(b808,6,4).
wk(b809,2,2).
wr(b809,3,0).
bk(b809,3,6).
wk(b810,1,3).
wr(b810,1,6).
bk(b810,6,6).
wk(b811,3,7).
wr(b811,3,3).
bk(b811,6,3).
wk(b812,3,0).
wr(b812,5,5).
bk(b812,5,3).
wk(b813,7,7).
wr(b813,5,1).
bk(b813,6,6).
wk(b814,6,7).
wr(b814,4,2).
bk(b814,6,2).
wk(b815,7,5).
wr(b815,7,5).
bk(b815,5,3).
wk(b816,0,5).
wr(b816,0,5).
bk(b816,6,2).
wk(b817,2,4).
wr(b817,1,2).
bk(b817,2,2).
wk(b818,3,1).
wr(b818,1,5).
bk(b818,4,5).
wk(b819,7,1).
wr(b819,4,7).
bk(b819,7,2).
wk(b820,5,4).
wr(b820,6,2).
bk(b820,2,2).
wk(b821,2,6).
wr(b821,4,0).
bk(b821,7,0).
wk(b822,2,7).
wr(b822,2,3).
bk(b822,2,2).
wk(b823,3,1).
wr(b823,0,3).
bk(b823,6,3).
wk(b824,7,4).
wr(b824,5,4).
bk(b824,6,4).
wk(b825,0,7).
wr(b825,3,0).
bk(b825,2,0).
wk(b826,6,6).
wr(b826,7,1).
bk(b826,7,1).
wk(b827,7,2).
wr(b827,3,0).
bk(b827,3,4).
wk(b828,7,5).
wr(b828,5,5).
bk(b828,7,5).
wk(b829,0,6).
wr(b829,6,7).
bk(b829,6,0).
wk(b830,2,3).
wr(b830,6,6).
bk(b830,1,2).
wk(b831,1,2).
wr(b831,6,7).
bk(b831,1,7).
wk(b832,6,7).
wr(b832,1,1).
bk(b832,2,1).
wk(b833,5,2).
wr(b833,4,4).
bk(b833,4,7).
wk(b834,2,1).
wr(b834,0,1).
bk(b834,1,1).
wk(b835,5,4).
wr(b835,1,0).
bk(b835,6,3).
wk(b836,3,7).
wr(b836,1,7).
bk(b836,2,6).
wk(b837,1,1).
wr(b837,7,1).
bk(b837,3,1).
wk(b838,6,5).
wr(b838,1,3).
bk(b838,5,3).
wk(b839,4,2).
wr(b839,4,1).
bk(b839,0,1).
wk(b840,3,6).
wr(b840,0,7).
bk(b840,7,7).
wk(b841,7,3).
wr(b841,3,2).
bk(b841,6,3).
wk(b842,5,6).
wr(b842,0,2).
bk(b842,6,2).
wk(b843,5,5).
wr(b843,5,1).
bk(b843,6,4).
wk(b844,4,4).
wr(b844,0,2).
bk(b844,5,2).
wk(b845,1,3).
wr(b845,1,3).
bk(b845,0,0).
wk(b846,2,0).
wr(b846,3,0).
bk(b846,3,2).
wk(b847,1,0).
wr(b847,2,6).
bk(b847,2,6).
wk(b848,6,4).
wr(b848,1,3).
bk(b848,1,6).
wk(b849,5,2).
wr(b849,2,7).
bk(b849,5,2).
wk(b850,7,6).
wr(b850,7,7).
bk(b850,6,5).
wk(b851,4,5).
wr(b851,2,1).
bk(b851,2,3).
wk(b852,2,1).
wr(b852,6,4).
bk(b852,3,1).
wk(b853,1,3).
wr(b853,3,1).
bk(b853,2,1).
wk(b854,5,1).
wr(b854,0,0).
bk(b854,5,2).
wk(b855,5,0).
wr(b855,3,6).
bk(b855,3,1).
wk(b856,4,4).
wr(b856,0,6).
bk(b856,4,6).
wk(b857,3,0).
wr(b857,2,5).
bk(b857,3,5).
wk(b858,5,2).
wr(b858,1,1).
bk(b858,7,1).
wk(b859,4,2).
wr(b859,3,6).
bk(b859,3,4).
wk(b860,5,1).
wr(b860,0,0).
bk(b860,1,0).
wk(b861,2,5).
wr(b861,3,2).
bk(b861,3,4).
wk(b862,0,3).
wr(b862,7,4).
bk(b862,7,1).
wk(b863,1,1).
wr(b863,1,6).
bk(b863,0,1).
wk(b864,4,0).
wr(b864,4,1).
bk(b864,3,0).
wk(b865,7,2).
wr(b865,7,2).
bk(b865,3,4).
wk(b866,0,6).
wr(b866,1,4).
bk(b866,1,2).
wk(b867,0,5).
wr(b867,6,3).
bk(b867,6,7).
wk(b868,7,1).
wr(b868,2,5).
bk(b868,2,5).
wk(b869,5,3).
wr(b869,3,7).
bk(b869,6,7).
wk(b870,4,6).
wr(b870,0,0).
bk(b870,5,6).
wk(b871,6,7).
wr(b871,6,7).
bk(b871,4,7).
wk(b872,7,0).
wr(b872,7,4).
bk(b872,7,7).
wk(b873,6,7).
wr(b873,1,2).
bk(b873,3,2).
wk(b874,0,3).
wr(b874,0,3).
bk(b874,3,0).
wk(b875,4,6).
wr(b875,4,6).
bk(b875,6,0).
wk(b876,0,0).
wr(b876,0,7).
bk(b876,4,7).
wk(b877,6,3).
wr(b877,3,6).
bk(b877,3,1).
wk(b878,0,5).
wr(b878,6,6).
bk(b878,1,6).
wk(b879,3,3).
wr(b879,7,2).
bk(b879,3,2).
wk(b880,7,6).
wr(b880,7,2).
bk(b880,0,2).
wk(b881,4,5).
wr(b881,0,0).
bk(b881,4,6).
wk(b882,5,5).
wr(b882,4,6).
bk(b882,4,4).
wk(b883,4,7).
wr(b883,4,0).
bk(b883,3,7).
wk(b884,4,0).
wr(b884,2,1).
bk(b884,5,1).
wk(b885,2,6).
wr(b885,6,0).
bk(b885,0,0).
wk(b886,5,1).
wr(b886,1,7).
bk(b886,1,5).
wk(b887,1,5).
wr(b887,3,4).
bk(b887,3,4).
wk(b888,3,4).
wr(b888,2,1).
bk(b888,2,0).
wk(b889,6,7).
wr(b889,2,0).
bk(b889,2,2).
wk(b890,1,4).
wr(b890,0,0).
bk(b890,7,0).
wk(b891,6,4).
wr(b891,3,7).
bk(b891,5,4).
wk(b892,2,7).
wr(b892,6,7).
bk(b892,6,7).
wk(b893,5,6).
wr(b893,7,5).
bk(b893,7,4).
wk(b894,5,3).
wr(b894,7,0).
bk(b894,6,2).
wk(b895,7,0).
wr(b895,3,3).
bk(b895,3,4).
wk(b896,3,7).
wr(b896,1,2).
bk(b896,2,2).
wk(b897,3,0).
wr(b897,0,3).
bk(b897,0,7).
wk(b898,2,0).
wr(b898,6,6).
bk(b898,6,4).
wk(b899,1,1).
wr(b899,4,7).
bk(b899,0,0).
wk(b900,1,2).
wr(b900,0,6).
bk(b900,0,7).
wk(b901,6,2).
wr(b901,6,6).
bk(b901,5,6).
wk(b902,0,1).
wr(b902,2,4).
bk(b902,2,0).
wk(b903,3,5).
wr(b903,7,1).
bk(b903,0,1).
wk(b904,3,5).
wr(b904,4,0).
bk(b904,1,0).
wk(b905,4,0).
wr(b905,0,0).
bk(b905,0,6).
wk(b906,4,5).
wr(b906,0,7).
bk(b906,0,4).
wk(b907,0,5).
wr(b907,2,6).
bk(b907,0,6).
wk(b908,3,6).
wr(b908,5,7).
bk(b908,0,7).
wk(b909,0,6).
wr(b909,1,3).
bk(b909,0,7).
wk(b910,1,1).
wr(b910,3,6).
bk(b910,1,1).
wk(b911,3,1).
wr(b911,2,1).
bk(b911,3,1).
wk(b912,4,5).
wr(b912,6,3).
bk(b912,4,3).
wk(b913,3,1).
wr(b913,7,3).
bk(b913,7,3).
wk(b914,7,7).
wr(b914,1,4).
bk(b914,1,1).
wk(b915,1,1).
wr(b915,7,5).
bk(b915,6,5).
wk(b916,0,0).
wr(b916,5,6).
bk(b916,1,6).
wk(b917,6,2).
wr(b917,6,6).
bk(b917,6,5).
wk(b918,2,3).
wr(b918,1,0).
bk(b918,7,0).
wk(b919,5,1).
wr(b919,6,2).
bk(b919,0,2).
wk(b920,5,6).
wr(b920,5,1).
bk(b920,5,4).
wk(b921,5,3).
wr(b921,4,0).
bk(b921,4,2).
wk(b922,1,2).
wr(b922,5,5).
bk(b922,0,3).
wk(b923,7,5).
wr(b923,7,2).
bk(b923,7,1).
wk(b924,6,5).
wr(b924,7,0).
bk(b924,7,7).
wk(b925,6,2).
wr(b925,3,6).
bk(b925,4,6).
wk(b926,5,5).
wr(b926,5,4).
bk(b926,1,4).
wk(b927,5,1).
wr(b927,4,2).
bk(b927,6,0).
wk(b928,1,0).
wr(b928,5,4).
bk(b928,2,1).
wk(b929,4,1).
wr(b929,6,2).
bk(b929,5,0).
wk(b930,1,0).
wr(b930,2,4).
bk(b930,3,4).
wk(b931,1,2).
wr(b931,2,4).
bk(b931,7,4).
wk(b932,5,4).
wr(b932,5,1).
bk(b932,5,3).
wk(b933,1,3).
wr(b933,0,2).
bk(b933,0,6).
wk(b934,2,2).
wr(b934,5,3).
bk(b934,4,3).
wk(b935,4,5).
wr(b935,1,0).
bk(b935,1,5).
wk(b936,0,0).
wr(b936,4,6).
bk(b936,5,6).
wk(b937,3,2).
wr(b937,1,3).
bk(b937,3,3).
wk(b938,1,3).
wr(b938,5,5).
bk(b938,4,5).
wk(b939,3,6).
wr(b939,4,0).
bk(b939,2,0).
wk(b940,5,0).
wr(b940,5,0).
bk(b940,7,4).
wk(b941,5,3).
wr(b941,3,0).
bk(b941,3,2).
wk(b942,2,1).
wr(b942,0,0).
bk(b942,2,1).
wk(b943,2,6).
wr(b943,5,1).
bk(b943,5,7).
wk(b944,1,6).
wr(b944,0,0).
bk(b944,2,6).
wk(b945,5,6).
wr(b945,1,2).
bk(b945,3,2).
wk(b946,0,0).
wr(b946,0,0).
bk(b946,3,6).
wk(b947,1,5).
wr(b947,3,2).
bk(b947,3,7).
wk(b948,0,0).
wr(b948,6,6).
bk(b948,3,6).
wk(b949,6,2).
wr(b949,5,0).
bk(b949,7,2).
wk(b950,0,0).
wr(b950,7,4).
bk(b950,7,0).
wk(b951,7,2).
wr(b951,7,5).
bk(b951,0,5).
wk(b952,7,6).
wr(b952,7,3).
bk(b952,1,3).
wk(b953,0,2).
wr(b953,6,6).
bk(b953,6,5).
wk(b954,5,3).
wr(b954,2,4).
bk(b954,0,4).
wk(b955,3,1).
wr(b955,3,3).
bk(b955,2,2).
wk(b956,0,1).
wr(b956,4,3).
bk(b956,4,0).
wk(b957,6,0).
wr(b957,1,4).
bk(b957,1,2).
wk(b958,2,1).
wr(b958,0,3).
bk(b958,7,3).
wk(b959,4,3).
wr(b959,4,3).
bk(b959,2,1).
wk(b960,1,5).
wr(b960,3,0).
bk(b960,3,5).
wk(b961,2,2).
wr(b961,0,5).
bk(b961,3,2).
wk(b962,1,6).
wr(b962,6,1).
bk(b962,1,5).
wk(b963,6,7).
wr(b963,0,7).
bk(b963,5,7).
wk(b964,6,2).
wr(b964,2,0).
bk(b964,5,1).
wk(b965,6,3).
wr(b965,3,7).
bk(b965,3,6).
wk(b966,1,7).
wr(b966,7,1).
bk(b966,7,3).
wk(b967,3,2).
wr(b967,7,2).
bk(b967,3,3).
wk(b968,5,0).
wr(b968,5,0).
bk(b968,6,0).
wk(b969,4,6).
wr(b969,2,7).
bk(b969,4,5).
wk(b970,4,0).
wr(b970,5,2).
bk(b970,5,5).
wk(b971,7,1).
wr(b971,7,1).
bk(b971,0,1).
wk(b972,4,2).
wr(b972,2,5).
bk(b972,5,5).
wk(b973,4,3).
wr(b973,1,6).
bk(b973,7,6).
wk(b974,2,5).
wr(b974,1,2).
bk(b974,2,5).
wk(b975,2,7).
wr(b975,4,4).
bk(b975,5,4).
wk(b976,0,2).
wr(b976,7,3).
bk(b976,2,3).
wk(b977,2,4).
wr(b977,2,1).
bk(b977,5,1).
wk(b978,7,2).
wr(b978,0,7).
bk(b978,5,7).
wk(b979,3,2).
wr(b979,1,7).
bk(b979,6,7).
wk(b980,6,0).
wr(b980,4,5).
bk(b980,4,7).
wk(b981,6,1).
wr(b981,0,3).
bk(b981,7,2).
wk(b982,2,0).
wr(b982,0,1).
bk(b982,0,6).
wk(b983,4,1).
wr(b983,2,3).
bk(b983,6,3).
wk(b984,4,7).
wr(b984,1,6).
bk(b984,5,7).
wk(b985,6,7).
wr(b985,0,3).
bk(b985,7,6).
wk(b986,3,6).
wr(b986,0,1).
bk(b986,0,1).
wk(b987,6,7).
wr(b987,5,6).
bk(b987,1,6).
wk(b988,0,6).
wr(b988,4,5).
bk(b988,4,5).
wk(b989,1,0).
wr(b989,6,3).
bk(b989,1,1).
wk(b990,4,4).
wr(b990,6,4).
bk(b990,6,4).
wk(b991,4,4).
wr(b991,4,4).
bk(b991,4,0).
wk(b992,3,3).
wr(b992,4,6).
bk(b992,3,6).
wk(b993,1,7).
wr(b993,7,4).
bk(b993,0,7).
wk(b994,5,4).
wr(b994,0,7).
bk(b994,1,7).
wk(b995,2,6).
wr(b995,6,3).
bk(b995,1,3).
wk(b996,6,6).
wr(b996,3,7).
bk(b996,1,7).
wk(b997,7,6).
wr(b997,6,4).
bk(b997,6,4).
wk(b998,4,4).
wr(b998,2,2).
bk(b998,2,0).
wk(b999,4,0).
wr(b999,1,0).
bk(b999,2,0).
wk(b1000,5,4).
wr(b1000,3,2).
bk(b1000,6,3).

